w{-}valtype($w$; $i$; $a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$kindcase(w{-}kind($w$; $a$); $a$.$w$.TA($i$,$a$); $l$,${\it tg}$.$w$.M($l$,${\it tg}$) )